/*
 * Automaton.h
 *
 *  Created on: 01-09-2013
 *      Author: Krzychu
 */

#ifndef AUTOMATON_H_
#define AUTOMATON_H_

#include "Graph.h"

class Automaton: public Graph
{
public:
	Automaton(int vertexNumber, int edgeNumber);
	virtual ~Automaton();
	void setTerminal(int vertex);
	bool isTerminal(int vertex);
protected:
	bool* terminal;
};

#endif /* AUTOMATON_H_ */
